1. ......................
پدیدآورنده : ISILC Proof Theory Symposium, University of Kiel
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Congresses ، Proof theory,Bibliography ، Schutte, Kurt
رده :
QA
3
.
L28
no
.
500
